Planning mega-event legacies: uncomfortable knowledge for host cities

MEGA From Proof Planning towards Mathematical Knowledge Management

Higher Order Natural Deduction Proof Object Maintenance of proof developments at different layers of granularity which are connected to each other September 25th, 2003 – p.7 Source: Autexier, Benzmüller Proof Data Structure MEGA Main References [CheikhrouhouSorge-ACIDCA-00] Overview on PDS [SiekmannEtAl-35yAutomath] Working with PDS Discussion + Support for proof development at different levels...

Spatiotemporal Analysis of Indian Mega Cities

Urbanization is arguably the most dramatic form of highly irreversible land transformation. While urbanization is a worldwide phenomenon, it is exceptionally dynamic in India, where unprecedented urban growth rates have occurred over the last 30 years. In this uncontrolled explosive situation city planning lacks of data and information to measure, monitor, understand urban sprawl processes. The...

New urbanism approach and urban space in mega cities

New Urbanism design principles have been adopted for many urban planning efforts in recent years. The purpose of this paper is studding the structure and space of Shahid Beheshti Square as one of the most important and old squares of Tabriz from the view of new urbanism principals. In order to reaching this purpose the data were collected through a questionnaire distributed among peoples that a...

Consumer Issues for Planning and Managing Digital Legacies [Leading Edge]

Factor analysis of safety for visitors to a mega-event.

This paper investigated the safety factors considered by visitors to the Kwangju Biennale 2000 and analyzed the correlation between the safety factors and the demographic characteristics of the visitors. Global tourism increased throughout the 1990s, with the biggest surge occurring in the Asia-Pacific region. Long-distance travel is also increasing, and at a rate faster than the global average...